--1.参数列表
--1.1优惠券id
local voucherId = ARGV[1]
--1.2用户id
local userId = ARGV[2]
--1.3订单id
local orderId = ARGV[3]

--2.数据key
--2.1库存key
local stockKey = 'seckill:stock:' .. voucherId
--2.2订单key
local orderKey = 'seckill:order:' .. voucherId

--3.1判断库存是否充足
if (tonumber(redis.call('get', stockKey)) <= 0) then
    --3.1库存不足，返回错误
    return 1
end
--3.2判断用户是否下单
if (redis.call('sismember', orderKey, userId) == 1) then
    --3.3用户已下单，返回错误
    return 2
end
--3.4扣减库存
redis.call('decr', stockKey)
--3.5下单
redis.call('sadd', orderKey, userId)
--3.6发送消息到队列中，xadd stream.orders * k1 v1 k2 v2 ...
redis.call('xadd', 'stream.orders', '*',  'userId', userId,'voucherId', voucherId, 'id', orderId)
return 0
